This article focuses on Alexei Losev’s literary texts that embrace his mythology of music: “I was 19 years old,” “A meteor,” “A woman-thinker,” “The Tchaikovsky trio,” and “An encounter.” It is shown that Losev’s musical mythology developed from his early musical-critical works—through the artistic-mythological episodes of his philosophical works per se —to his fiction of the 1930s. Losev’s intentionally abstract philosophy of music required to be complemented by the artistic, emotional, socially and historically specific expression. The main idea of Losev’s (...) musical myth in its historical-cultural aspect is to reflect the relevant self-consciousness of an individual. The epoch of religious super-individualism and “prayerful delight” is replaced by the epoch of “musical delight” and professed idealization of an individual. This change was a reason of the extreme ambivalence of music, which, on the one hand, expresses the highest order and harmony and, on the other, is a continuous evolvement and chaos, a substantive uncertainty. The novelty of the article consists, firstly, in the analysis of correspondence between musical ambivalence and drama in the lives of the heroes, especially heroines symbolizing music itself; and secondly, in identifying the constant features of Losev’s musical myth, as well as its specific features that emerge at different stages. (shrink)

The article considers A.F. Losev''s philosophy of music in the context ofhis entire religious worldview and as the part of hisChristian-Neoplatonic philosophy. Synthesizing Pythagorean-Platonic andRomantic musical doctrines, Losev concludes: music is the expression ofthe life of numbers, a meonic-hyletic element that rages inside numericconstructions. So it is necessary to analyse the concept of number inthe system of Neoplatonic thought. In the Neoplatonic hierarchy of theuniverse both numeric sphere and music are located at the source of allthe eidei, above them and (...) between the One (the first hypostasis) and theWorld Intelligence (the second hypostasis). Then music is considered inthe context of the relation between the uncreated Absolute (Tetrade A)and the created world (Tetrade B). Losev''s doctrine on the Tetrades Aand B (connected not by essence but by energies) is the importantmodification of Neoplatonism. Finally the article considers Losev''saccount of music in relation to the absolutized individual person. (shrink)

Konstantin Pollok - Kant's Critical Concepts of Motion - Journal of the History of Philosophy 44:4 Journal of the History of Philosophy 44.4 559-575 Muse Search Journals This Journal Contents Kant's Critical Concepts of Motion Konstantin Pollok There are two significant places in Kant's Critical corpus where he discusses the concept of motion. The first is in the Critique of Pure Reason, where in the "Deduction of the Categories" Kant writes: Motion, as an act of the subject , (...) and therefore the synthesis of the manifold in space, first produces the concept of succession—if we abstract from this manifold and attend solely to the act through which we determine the inner sense according to its form. In this passage Kant simply refers to the concept of motion, and the immediate context in which this reference occurs reveals little about what he means by it. In the Metaphysical Foundations of Natural Science, however, motion plays a more significant role, and, concomitantly, it is in his writings on natural science that Kant most fully expresses his thoughts on the subject. For present purposes, the most relevant passage is paragraph 15 of the Preface of the Metaphysical Foundations, where Kant says that the concept of matter had … to be carried through all four of the indicated functions of the concepts of the understanding , where in each a new determination of this concept was added. The.. (shrink)

Konstantin Pollok offers the first book-length analysis of Kant's theory of normativity that covers foundational issues in theoretical and practical philosophy as well as aesthetics. Interpreting Kant's 'critical turn' as a normative turn, he argues that Kant's theory of normativity is both original and radical: it departs from the perfectionist ideal of early modern rationalism, and arrives at an unprecedented framework of synthetic a priori principles that determine the validity of our judgments. Pollok examines the hylomorphism in Kant's theory (...) of normativity and relates Kant's idea of our reason's self-legislation to the 'natural right' tradition, revealing Kant's debt to his predecessors as well as his relevance to contemporary debates on normativity. This book will appeal to academic researchers and advanced students of Kant, early modern philosophy and intellectual history. (shrink)

The metaphysics of a social reality assumes definition ontology various plans of its realization as sorts of attitude to kinds. The last ones represent phenomena of a social reality - as classical and nonclassical. The economy, morals, religion, the right concern to classical kinds of a social reality. Attributes of a sociality of the given kinds: activity, attitudes, forms of social consciousness. A nonclassical kinds given attributes yet "do not possess" to the full. Their metaphysics is defined through parity with (...) classical kinds of society. The structure of a social reality is mobile that is why "updating" of the list of classical kinds of a social reality is not soproblematic that is why the urgency of an explication ontology and metaphysics of a sort of a reality social and numerous kinds is undoubtedly rather productive and duly. (shrink)

The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable (...) proofs, and can be sensibly regarded as a priori. We also show that the aforementioned impression is mistaken because it fails to distinguish between proof search (the context of discovery) and proof checking (the context of justification). By using mechanized proof assistants capable of producing certificates that can be independently checked, it is possible to carry out complex proofs without the need to trust arbitrary custom-written code. We only need to trust one fixed, small, and simple piece of software: the proof checker. This is not only possible in principle, but is in fact becoming a viable methodology for performing complicated mathematical reasoning. This is evinced by a new proof of the four-color theorem that appeared in 2005, and which was developed and checked in its entirety by a mechanical proof system. (shrink)

PA is Peano Arithmetic. Pr(x) is the usual Σ1-formula representing provability in PA. A strong provability predicate is a formula which has the same properties as Pr(·) but is not Σ1. An example: Q is ω-provable if PA + ¬ Q is ω-inconsistent (Boolos [4]). In [5] Dzhaparidze introduced a joint provability logic for iterated ω-provability and obtained its arithmetical completeness. In this paper we prove some further modal properties of Dzhaparidze's logic, e.g., the fixed point property and the Craig (...) interpolation lemma. We also consider other examples of the strong provability predicates and their applications. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Konstantin Kolenda IMMORTALITY REVISITED In his essay, "Poets and Thinkers: Their Kindred Roles in the Philosophy of Martin Heidegger," J. Glenn Gray points out that Heidegger "does not treat imaginative literature and other works of art qua literature and art but as aspects of philosophy or meditative thought." To Heidegger's question, "How long are we going to prevent ourselves from experiencing the actual as actual?", Gray is inclined (...) to answer as follows: "Until we have become aware that the poetic eye is capable of seeing as deeply into nature and man as the scientific eye," and he adds that "there is hope that philosophers may once again take seriously the discoveries of creative writers who are not consciously seeking to 'do' philosophy."2 There is little evidence that Gray's hope has materialized to any great extent; few philosophers are paying much attention to discoveries of creative writers, thus bearing out Heidegger's contention that "at this moment in the world's history we have first to learn that the making of poetry, too, is a matter of thinking."3 But it should not surprise us that when philosophers turn to the thinking of poets they will not necessarily agree in their interpretations. Although it has been remarked that Rilke translated Nietzsche into poetry and then in turn Heidegger translated Rilke into prose, when we look at what Heidegger actually says about Rilke's ideas, we may find that these ideas allow alternative interpretations.4 Nevertheless, the fact that alternative interpretations are possible bears out the soundness of Heidegger's and Gray's claim that at least some poetic thought is worth taking seriously. In this article we shall examine Rilke's view of the relationship between life and death, as expressed in his Duino Elegies. Since this is a theme which figures prominently in Heidegger's philosophy, it is only proper to begin by pointing out certain basic correspondences between the views of the two thinkers on this topic. But as we pursue the matter further it soon becomes apparent that Rilke has set forth an intriguing and original, albeit unorthodox, notion of immortality, a notion that 167 1 68Philosophy and Literature does not need to be tied down to Heidegger's philosophy as a whole but can be defended in its own right. This article constitutes such a defense. In Being and Time, Heidegger suggests that death "belongs" to Dasein. "In Dasein there is undeniably a constant 'lack of totality' which finds an end with death. This 'not-yet' 'belongs' to Dasein as long as it is; this is how things stand phenomenally." Rilke's way of expressing a similar thought is to say, in the First Elegy, that "all of the living make the mistake of drawing too sharp distinctions." The contrast he speaks of is that between life and death. Like Heidegger, Rilke calls attention to phenomena that seem to go against the ingrained tendency to view life and death as belonging to two separate realms. Both manage to break the hold of pictures which for so long have led our thinking on this topic into dead ends. The radical temporality of human existence, its inevitable mortality, leads Heidegger to include the resolute acceptance of "being-toward-death" as a necessary condition of authentic existence. The "not-yet" of eventual death is always with us; since we cannot escape it, we must not keep denying our mortality by self-deception or by resigned waiting but should take it up into a resolute anticipation. The factor of death must be included in the consciousness of our vital decisions. In other words, death is to be taken up into human life and is to be viewed, paradoxically perhaps, as its essential component. Thus, the radical contrast between life and death is undermined. The taming of death is one of the central themes in Rilke's poem. Like Novalis before him, Rilke thought of death as the night-side of life. "Death is the side of life that is turned away from us and is unillumined for us."7 But he made use of still another notion to break down a distinction which, in his opinion, we the... (shrink)

In the 1970s, particularly in his article “The Model of the Text: Meaningful Action Considered as a Text”, Paul Ricœur proposed a hypothesis concerning the homology between the text and social action. That hypothesis is not reducible to the narrative logic prevailing in late Ricœur’s writings, and we are searching to elucidate its further implications in social sciences. A new hermeneutics of social meanings can be founded upon it, enriched by the methodological experience of structural semiotics and taking into account (...) some special processes of sense-giving as “remote-model behavior” and “sense-suppressing action”. . (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...) convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and. (shrink)

Two short typescripts by G. Lukács from the archive, dating from 1941/42, shed light on his appraisal of the cultural ‘inner reserves’ of Germany and the ‘moral reserves’ of the democracies involved in the Second World War, as well as on Lukács’s political philosophy at that time. The conception of an intrinsic interrelation of a humanist philosophical anthropology and rationalist epistemology elucidates his egalitarian and democratic account. Both texts are located within the intellectual development of the author in an introduction (...) by the editor, which sketches the historical background and indicates relevant contemporaneous theoretical and political debates, such as the controversies over realism and humanism and, also in dispute with K. Jaspers, on German collective guilt. (shrink)

ArgumentPost-Stalinist reforms resulted in dramatic changes in the ways of operation of Soviet science: one can say that they altered the very understanding of what science was, or should be, in the socialist society. A new vision came about as a result of political and rhetorical efforts of scientists, who pushed forward their various, often conflicting, agendas acting in accordance with specific rules of Soviet polity. The most visible part of the reform came with the 1961 administrative reorganization of the (...) USSR Academy of Sciences. The related series of changes, however, was much broader and comprehensive, modifying the relationships between science and ideology, politicians and academic researchers, and establishing the very division between fundamental and applied research, which had been strongly rejected during the preceding Stalinist period. (shrink)

Various publications claim that medical AI systems perform as well, or better, than clinical experts. However, there have been very few controlled trials and the quality of existing studies has been called into question. There is growing concern that existing studies overestimate the clinical benefits of AI systems. This has led to calls for more, and higher-quality, randomized controlled trials of medical AI systems. While this a welcome development, AI RCTs raise novel methodological challenges that have seen little discussion. We (...) discuss some of the challenges arising in the context of AI RCTs and make some suggestions for how to meet them. (shrink)

This article is a commentary on ChatGPT and LLMs (Large Language Models) in general. It argues that this technology has matured to the point where calling systems such as ChatGPT “stochastic parrots” is no longer warranted. But it also argues that these systems continue to have serious limitations when it comes to reasoning. These limitations are much more severe than commonly thought. A large array of examples are given to support these claims.

Popper argued that a statistical falsification required a prior methodological decision to regard sufficiently improbable events as ruled out. That suggestion has generated a number of fruitful approaches, but also a number of apparent paradoxes and ultimately, no clear consensus. It is still commonly claimed that, since random samples are logically consistent with all the statistical hypotheses on the table, falsification simply does not apply in realistic statistical settings. We claim that the situation is considerably improved if we ask a (...) conceptually prior question: when should a statistical hypothesis be regarded as falsifiable. To that end we propose several different notions of statistical falsifiability and prove that, whichever definition we prefer, the same hypotheses turn out to be falsifiable. That shows that statistical falsifiability enjoys a kind of conceptual robustness. These notions of statistical falsifiability are arrived at by proposing statistical analogues to intuitive properties enjoyed by exemplary falsifiable hypotheses familiar from classical philosophy of science. That demonstrates that, to a large extent, this philosophical tradition was on the right conceptual track. Finally, we demonstrate that, under weak assumptions, the statistically falsifiable hypotheses correspond precisely to the closed sets in a standard topology on probability measures. That means that standard techniques from statistics and measure theory can be used to determine exactly which hypotheses are statistically falsifiable. In other words: the proposed notion of statistical falsifiability both answers to our conceptual demands and submits to standard mathematical techniques. (shrink)

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...) convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and. (shrink)

The COVID-19 pandemic in 2020 has had a lasting impact on all areas of personal life. However, the political, economic, legal and healthcare system, as well as the education system have also experienced the effects. Universities had to face new challenges and requirements in teaching and examinations as quickly as possible in order to be able to guarantee high-quality education for their students.This study aims to examine how the German-speaking medical faculties of the Umbrella Consortium of Assessment Network have dealt (...) with the challenges but also the opportunities that the outbreak of the COVID-19 pandemic created in medical education and whether digitalisation has been driven forward as a result. In an initial online-survey we focused our questions on the current teaching situation with regard to digitised teaching content, the support or establishment of adequate framework conditions by the medical faculties and IT facilities and also the execution of examinations during the summer semester 2020.Between August and September 2020, a total of 88 examiners, educators, dean of study and/or technical admins from 32 partner faculties took part in the survey. Students were not included in our survey. Most respondents stated that a switch to a digital semester had worked, the use of e-learning increased compared to previous semesters and that most courses could be converted, with the exception of practical courses, which were largely cancelled. The respondents also indicated that most examinations could still be taken, with the exception of practical examination formats, like Objective Structured Clinical Examinations. However, in the case of face-to-face examinations, strict distance and hygiene conditions had to be obeyed or there had to be a switch to distance-online examinations, which raised many open issues such as equal opportunities of students and attempts at deception.In conclusion, we identified several issues regarding the rapid transition to a digital semester due to COVID-19 which were categorised into the following topics: Face-to-face teaching could not take place, know-how of educators, integrity aspects, technical aspects, additional personnel required, additional time and effort required for implementation of digital teaching. Our study shows that a switch to digital teaching and distance online examinations is feasible, but many problems were encountered concerning academic integrity and basic ethical principles still need to be solved. In order to investigate whether above mentioned issued could be solved one year after the transition to a digital semester, we conducted a second survey in which the 32 initially surveyed institutions were questioned again. (shrink)

The study outlines the existing and potential philosophical issues of the idea of conscious machines originated from the development of artificial consciousness within the framework of contemporary research of artificial intelligence and cognitive robotics. The outline shows that the idea of conscious machines is concerned with two big philosophical issues. The first philosophical issue is a definition of consciousness, taking into account the selection of a set of objects that can have consciousness, the typology of consciousness, the clarifying of the (...) nature of consciousness' carriers and the relationship between consciousness and its environment and the relationship between consciousness and language, in order to create an artificial consciousness within a machine, making that machine conscious. The second philosophical issue is a clarification whether only artificially created machines can be conscious machines, or cyborgizated human beings also can be considered of conscious machines. These philosophical issues show that there can be two ways to create conscious machines: 1) the creating of artificial consciousness within artificially created machine; and 2) the cyborgization of human being, transforming it into artificially created machine possessed natural consciousness. (shrink)

Translation of Celan’s and Lévinas’ Meridian. On the Topology of Meeting-Through-a-Caesura by Konstantin Sigov.

We say that two arithmetical formulas A, B have the Σ1-interpolation property if they have an ‘interpolant’ σ, i.e., a Σ1 formula such that the formulas A→σ and σ→B are provable in Peano Arithmetic PA. The Σ1-interpolability predicate is just a formalization of this property in the language of arithmetic.Using a standard idea of Gödel, we can associate with this predicate its provability logic, which is the set of all formulas that express arithmetically valid principles in the modal language with (...) two modal operators, □ for provability in PA and for Σ1-interpolability. In this paper we determine this provability logic .It turns out that this problem appears to be quite similar to the problem of such modal description of relative interpretability, a problem, solved by Berarducci and Shavrukov. However, the present case is sometimes easier. In particular, we prove in this paper the fixed point property and the Craig interpolation property for our modal system ELH. (shrink)

The article examines main competing conceptions of the cor­respondence theory of truth. First, the author investigates pos­sible candidates for the role of truth-bearers. Among those he examines following entities: instances of sentences as concrete sequences of symbols (sounds or letters), which should satisfy wide scope of requirements, such as to be grammatical, mean­ingful, affirmative and so on; abstract propositions, which are ex­pressed by concrete sentences; utterances (either explicit or in lingua mentalis); beliefs of agents as their special mental states. Then (...) he turns to the study of possible candidates for the role of truth-makers, i.e. of those entities to which truth-bearers should correspond to be true. He observes states of affairs, situations, facts and mereological sums of individuals. Then he shows that a notion of correspondence is a functional relationship of interpre­tation of linguistic expressions, where certain fragment of real­ity is taken as a model, i.e. as a finite set of elements on which some functions and relations can be operationally defined. He shows how in some simple cases such interpretation function can be built in operationalist’s manner. After that, he considers some natural objections to this approach, which point that he has no direct cognitive access to the actual world, so it is not possible to take its fragments as a model for any theory. Such objections lead us to the coherentist’s approach, but he shows that the question about origin and status of so-called “specified set” implicitly either leads to infinite regress or requires certain correspondence on some level of investigation and reasoning. Finally, the authore presents some reflections on the meaning of correspondence approach for scientific realism and all other versions of realistic philosophy and metaphysics. (shrink)

Name der Zeitschrift: Klio Jahrgang: 97 Heft: 1 Seiten: 176-228.

Drawing on MacIntyre's encyclopaedia-genealogy-tradition typology of the humanities, the author describes Averintsev's project as bringing together the elements of encyclopaedia and tradition. The article identifies three forms of isolationism which are evident not only in 'post-atheistic' societies but more widely, and comments on Averintev's treatment of these.

Сакральная (священное) - одна из самых общих, многозначных и глубоких категорий человеческой культуры. Для специалистов и студентов гуманитарных специальностей.